运算符与重载

    Rust 允许有限形式的运算符重载。特定的运算符可以被重载。要支持一个类型间特定的运算符,你可以实现一个的特定的重载运算符的trait。

    例如,运算符可以通过Add特性重载:

    有一系列可以这样被重载的运算符,并且所有与之相关的trait都在std::ops模块中。查看它的文档来获取完整的列表。

    实现这些特性要遵循一个模式。让我们仔细看看:

    1. # mod foo {
    2. pub trait Add<RHS = Self> {
    3. fn add(self, rhs: RHS) -> Self::Output;
    4. }

    将允许你这样做:

    1. let p: Point = // ...
    2. let x: f64 = p + 2i32;

    现在我们知道了运算符 trait 是如何定义的了,我们可以更通用的定义来自trait 章节HasArea trait 和结构体:

    1. impl<T> HasArea<T> for Square<T>

    area方法要求我们可以进行边的乘法,所以我们声明的T类型必须实现std::Mul。比如上面提到的AddMul自身获取一个Output参数:因为我们知道相乘时数字并不会改变类型,我也设定它为T。也必须支持拷贝,所以 Rust 并不尝试将self.side移动进返回值。